https://idgol.com/a-group-is-always-abelian-and-may-be-finite-or-infinite